/*
 * Create in 2012-11-19 下午2:22:22.
 */
package kit4j.ui.cs.paging;

/**
 * 页面导航接口。
 * 
 * @author MiniKnife
 * 
 */
public interface PagingNavigation {

	/**
	 * 获取总页数。
	 * 
	 * @return 总页数。
	 */
	int getPageCount();

	/**
	 * 获取当前页的页码。
	 * 
	 * @return 当前页的页码。
	 */
	int getCurrentPagination();

	/**
	 * 跳转到给定页面。<br />
	 * 如果给定的<code>pagination <= 0</code>或<code>pagination > getPageCount()</code>
	 * ，则结果是不确定的，会由实现者确定具体行为。
	 * 
	 * @param pagination 要跳转到的页码
	 */
	void toPage(int pagination);

	/**
	 * 跳转到前一页。如果没有前一页，则不产生任何行为。
	 */
	void toPreviousPage();

	/**
	 * 跳转到后一页。如果没有后一页，则不产生任何行为。
	 */
	void toNextPage();
}
